Three Research positions (engineer or postdoc) in the ANR HPAC project: Grenoble, Lyon and Paris, France Title: High-performance Algebraic Computing Keywords: parallel computing, computer algebra, linear algebra, C/C++ p

Source URL: hpac.gforge.inria.fr

• Software
• Application software
• Mathematical software
• Computer algebra
• International Symposium on Symbolic and Algebraic Computation
• SageMath
• Algebra
• Symbolic computation
• Computer algebra system
• Wolfram Mathematica
• Parallel computing

Parallelizing User-Defined Aggregations using Symbolic Execution Veselin Raychev Madanlal Musuvathi Todd Mytkowicz

Source URL: www.srl.inf.ethz.ch

• Computing
• Concurrent computing
• Software
• Parallel computing
• Apache Software Foundation
• Distributed computing architecture
• MapReduce
• Hadoop
• Symbolic execution
• Apache Spark
• KeY
• Symbolic computation

Symbolic Objects in a Networked Gestural Sound Interface Eric Kabisch, * Amanda Williams, Paul Dourish *Arts, Computation and Engineering (ACE) University of California, Irvine Irvine, CA

Source URL: www.dourish.com

• User interface techniques
• Human communication
• Virtual reality
• Academia
• Interpersonal communication
• Software architecture
• Multimodal interaction
• Augmented reality
• Symbolic interactionism
• User interface
• Social relation
• Sound and music computing

JAR manuscript No. (will be inserted by the editor) Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq Érik Martin-Dorel · Guillaume Melquiond

Source URL: www.lri.fr

• Computer algebra
• Computer arithmetic
• Algebra
• Numerical analysis
• Polynomials
• Interval arithmetic
• Automatic differentiation
• Floating point
• Polynomial
• Remainder
• Symbolic computation
• Interval

PostDoc Position (f/m, 100%) in the RICAM Research Group “Symbolic Computation” At the Johann Radon Institute for Computational and Applied Mathematics (RICAM) of the Austrian Academy of Sciences, Linz, Austria, the

Source URL: www.ricam.oeaw.ac.at

• Linz
• Oil Campaign of World War II
• Johannes Kepler
• Johann Radon
• Christoph Koutschan
• Bruno Buchberger

Symbolic Computation Lehrstuhl für Symbolic Computation Nanu? Ein neuer Lehrstuhl? Nicht ganz. Seit Oktober 2007 heißt der Lehrstuhl für Mathematik mit dem Schwerpunkt Algebra jetzt Lehrstuhl für Mathematik mit dem S

Source URL: www.uni-passau.de

Appendix H: Developments relevant for building a semantic collection of mathematical theorems The Sloan Foundation funded eCF project was an exploratory project devoted to collecting and semantically representing mathema

Source URL: www.wolframfoundation.org

• Software
• Application software
• Mathematical software
• Mathematics
• Mathematical notation
• Theorem
• Applied mathematics
• Areas of mathematics
• Mathematician
• Wolfram Mathematica
• Symbolic computation
• Mathematical proof

J. Symbolic Computation, 1–000 Computing Zero-Dimensional Schemes †

Source URL: www.symbcomp.fim.uni-passau.de

• Algebra
• Mathematics
• Linear algebra
• Group theory
• Vector space
• Vectors
• Algebra over a field
• Linear map
• Polar coordinate system
• Normal distribution

Symbolic Computation of Differential Equivalences ∗ Ar tifact

Source URL: sysma.imtlucca.it

Symbolic Computation All you’ll ever need to know about Maple ! J J O’Connor

Source URL: www-history.mcs.st-and.ac.uk